当 $t \ge 0$ 时, 概率分布为

于是概率密度为

从而 $\forall n \in \N^+ \colon T_n \sim E(\lambda)$. 相互独立性由定义即得. 证毕.